$\forall$$p$,$q$:$\mathbb{Z}$. $\exists$$g$:$\mathbb{N}$. ($\exists$$a$,$b$,$x$,$y$:$\mathbb{Z}$. (($p$ = ($a$ $\ast$ $g$)) $\wedge$ ($q$ = ($b$ $\ast$ $g$)) $\wedge$ ((($x$ $\ast$ $a$) + ($y$ $\ast$ $b$)) = 1)))